Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

restore *.out to .gitignore, except in resources #14796

Merged
merged 1 commit into from
Jan 28, 2025
Merged

Conversation

patrick-schultz
Copy link
Collaborator

@patrick-schultz patrick-schultz commented Jan 21, 2025

Change Description

Restore *.out to .gitignore, with an exclusion in resource directories

Security Assessment

Delete all except the correct answer:

  • This change has no security impact

Impact Description

Only changes gitignore rules

(Reviewers: please confirm the security impact before approving)

Copy link
Collaborator Author

patrick-schultz commented Jan 21, 2025

Copy link
Collaborator

@cjllanwarne cjllanwarne left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks, this should solve the problem!

@patrick-schultz patrick-schultz force-pushed the ps-12-17-move_mill_modules_into_subdirectory branch from b4c7447 to 93620ef Compare January 21, 2025 21:02
@patrick-schultz patrick-schultz force-pushed the ps-12-17-move_mill_modules_into_subdirectory branch from 93620ef to e0b9c06 Compare January 22, 2025 17:04
@patrick-schultz patrick-schultz force-pushed the ps-12-17-move_mill_modules_into_subdirectory branch from e0b9c06 to 468844b Compare January 22, 2025 17:49
@patrick-schultz patrick-schultz force-pushed the ps-12-17-move_mill_modules_into_subdirectory branch 2 times, most recently from fcb6c23 to b9fe4aa Compare January 24, 2025 19:24
Base automatically changed from ps-12-17-move_mill_modules_into_subdirectory to main January 24, 2025 20:33
@hail-ci-robot hail-ci-robot merged commit b8bea26 into main Jan 28, 2025
3 checks passed
@hail-ci-robot hail-ci-robot deleted the ps/gitignore branch January 28, 2025 21:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants